if and only if, iff

当且仅当